Mechanizing The Odd Order Theorem: Local Analysis - Georges Gonthier

Mechanizing the Odd Order Theorem: Local Analysis - Georges Gonthier

Institute for Advanced Study

2 - Kick-off afternoon : Georges Gonthier, Digitizing the Group Theory of the Odd Order Theorem

Institut Henri Poincaré

Proof Engineering, from the Four Colour to the Odd Order Theorem

Microsoft Research

BPR programme: participant Georges Gonthier explains "Four colour theorem"

Isaac Newton Institute for Mathematical Sciences

Georges Gonthier: Computer proofs: teaching computers mathematics, and conversely

International Mathematical Union

Georges Gonthier: the four colour theorem

RU Computer Science

Georges Gonthier: The Logic of Real Proofs

Federated Logic Conference FLoC 2018

John Harrison and Georges Gonthier at QED+20

Video Portrait of Georges Gonthier

Microsoft Research

Georges Gonthier - Functional Encodings of Mathematics

Institut des Hautes Etudes Scientifiques (IHES)

Georges Gonthier: "Foothills and cathedrals: organising the libraries behind big proofs"

Topos Institute

Georg Kreisel, 4 Seconds of a Mathematician/Philosopher

Robert Tragesser

Georges Gonthier: Programming Mathematics: Tools and Challenges

Hausdorff Center for Mathematics

"Le défi d'Alan Turing avait 4 couleurs" 🔴🟠🟡🟢 | Témoignage de G. Gonthier

Ralph Kaufmann: K-theoretical and noncommutative methods for topological properties of materials

Hausdorff Center for Mathematics

Jonah Gaster: The Markov ordering of the rationals

Centre de recherches mathématiques - CRM

Lecture 8: Functional Analysis - The proof of Tychonoff's theorem

University of Nottingham